Mobile
Log In Sign Up
Home > chinese-english > "reachable state" in English

English translation for "reachable state"

可达状态;能达状态
能达状态


Related Translations:
reachable:  可达成的可达的
reachable set:  可达集;能达集能达集
reachable symbol:  可达符号
reachable accessible:  可达到的
reachable point:  可达点
if not reachable:  出服务区或关机时转移服务区或关机时转移
connectively reachable digraph:  联结可达有向图
call forward when no reachable:  遇移动以后不可及呼叫前转
compelling product to reachable market:  迫不得已产品市场可达
call forwarding on not reachable:  不可到达呼叫转移
Example Sentences:
1.Firstly , the semantic frame is presented , including the formal definition of actions , environment , agent , negotiation and multi - agent system , and the global states , class of ctn system , run and reachable states for ctn system are also defined
本文首先给出了该形式化系统的语义框架,包括行为、协商策略、环境、 agent 、协商和多agent系统的形式化定义,并对系统的全局状态、系统类、系统运行和可达全局状态做了描述。
2.Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram , and the algorithms verifying the soundness and the properties of semantic - related are given . at the aspect of verifying the consistency of temporal constraints of workflow , the time events are added into the uml statecharts , then the rules translating the extended uml statecharts into timed automata are given . the upper constraints ( the most time interval between two tasks ) , lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl . the consistency of these constraints in build time , instantiation time and run - time are defined respectively
在验证工作流时序约束一致性方面,在uml状态图中加入了时间事件,给出了将扩展后的uml状态图转化为时间自动机的规则,用时间计算树逻辑定义了两个任务间的最大、最小时间间隔(上、下界约束)和工作流的最终期限约束,并给出了这三类约束分别在创建阶段、实例化阶段和运行阶段的一致性定义,通过alur的算法对时序约束一致性进行验证。
Similar Words:
"reachabilitygraph" English translation, "reachable" English translation, "reachable accessible" English translation, "reachable point" English translation, "reachable set" English translation, "reachable symbol" English translation, "reachablepoint" English translation, "reached bottom time" English translation, "reached shore fast" English translation, "reached surface time" English translation